$\vdash$  $\forall$$P$:$\mathbb{P}$, $d$:Dec($P$). ($\uparrow$[$d$]$_{b}$) $\vee$ ($\neg$($\uparrow$[$d$]$_{b}$))